1.
Synchronous Equivalence Formal Methods for Embedded Systems
by Hsieh, Harry, Balarin, Feli...
ISBN: 9780792372622
List Price: $139.00
2.
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer Internatio...
by Felice Balarin, Paolo Giust...
ISBN: 9781461378082
List Price: $79.95
3.
Synchronous Equivalence: Formal Methods for Embedded Systems
by Harry Hsieh, Felice Balarin...
ISBN: 9781461356646
List Price: $139.00